C-K theory

Results: 312



#Item
51Linear algebra / Algebraic number theory / Group theory / Vector space / Isomorphism / Integer / Theorems and definitions in linear algebra / Approximately finite dimensional C*-algebra / Algebra / Mathematics / Abstract algebra

Additive Number Theory Examples Sheet 2. W. T. G. 1. Let k be a real number. Prove that there exist an integer N and a subset A ⊂ ZN ˆ

Add to Reading List

Source URL: www.dpmms.cam.ac.uk

Language: English - Date: 2005-10-31 07:39:54
52Network performance / Internet privacy / Proxy server / Cipher / RSA / Proxy re-encryption / Cryptography / Computing / Computer networking

1 A Multi-key Secure Multimedia Proxy Using Asymmetric Reversible Parametric Sequences: Theory, Design, and Implementation Siu F. Yeung, John C. S. Lui, Senior Member, IEEE, David K. Y. Yau, Member, IEEE

Add to Reading List

Source URL: www.cs.cuhk.hk

Language: English - Date: 2004-06-10 10:49:44
53Knowledge / Risk / Decision making / Decision theory / Management / Ethics

THE D e c i sion -M a k i ng E c ol o g y 1

Add to Reading List

Source URL: www.americanhumane.org

Language: English - Date: 2011-05-04 18:46:45
54Automaton / Technology / Computing / Automata theory / Software / Frama-C / Linear temporal logic

Aoraï Plugin Tutorial (A.k.a. LTL to ACSL) Nicolas Stouls and Virgile Prevosto ,

Add to Reading List

Source URL: frama-c.com

Language: English - Date: 2013-09-24 04:53:02
55Automaton / Technology / Computing / Automata theory / Software / Frama-C / Linear temporal logic

Aoraï Plugin Tutorial (A.k.a. LTL to ACSL) Nicolas Stouls and Virgile Prevosto ,

Add to Reading List

Source URL: frama-c.com

Language: English - Date: 2013-09-24 04:53:02
56Sobolev spaces / Locally convex topological vector space / Ordinal number / Continuous function / Functional analysis / Operator theory / Fréchet space / Mathematical analysis / Mathematics / Topological vector spaces

C k spaces and spaces of test functions Jordan Bell Department of Mathematics, University of Toronto April 10, 2014

Add to Reading List

Source URL: individual.utoronto.ca

Language: English - Date: 2014-04-10 16:02:56
57Automaton / Technology / Computing / Automata theory / Software / Frama-C / Linear temporal logic

Aoraï Plugin Tutorial (A.k.a. LTL to ACSL) Nicolas Stouls and Virgile Prevosto ,

Add to Reading List

Source URL: frama-c.com

Language: English - Date: 2013-09-24 04:53:02
58Numbers / Riesel Sieve / PrimeGrid / Riesel number / LLR / Megaprime / Primality test / Twin Prime Search / Lucas–Lehmer–Riesel test / Prime numbers / Mathematics / Number theory

PrimeGridʼs The Riesel Problem On 5 Apr:13:12 UTC, PrimeGrid’s The Riesel Problem project eliminated k=65531 by finding the Mega Prime: 65531*The prime is 1,092,546 digits long and will enter Chris C

Add to Reading List

Source URL: www.primegrid.com

Language: English - Date: 2011-04-12 01:04:58
59Ethology / Social psychology / Cognitive neuroscience / Communication theory / Cognition / Priming / Empathy / Contract / Recall / Mind / Cognitive science / Memory

Journal of Consumer Research, Inc. The Role of Relationship Norms in Responses to Service Failures Author(s): Lisa C. Wan, Michael K. Hui, Robert S. Wyer Jr. Reviewed work(s): Source: Journal of Consumer Research, Vol.

Add to Reading List

Source URL: www.bm.ust.hk

Language: English - Date: 2012-03-06 04:00:19
60Automaton / Technology / Computing / Automata theory / Software / Frama-C / Linear temporal logic

Aoraï Plugin Tutorial (A.k.a. LTL to ACSL) Nicolas Stouls and Virgile Prevosto ,

Add to Reading List

Source URL: frama-c.com

Language: English - Date: 2013-09-24 04:53:03
UPDATE